" Dieter Hutter" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Volume 56)

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

996 Kb

#2

Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

2.08 Mb

#3

Mechanizing Mathematical Reasoning

Dieter Hutter, Werner Stephan

Категория: CsLn_

5.54 Mb

#4

Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers

Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann

2.98 Mb

#5

Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings

Dieter Hutter, Markus Ullmann

2.89 Mb